Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
131	the state of hammer: ready for ics Sven M. Hallberg Adam Crain Meredith L. Patterson Sergey Bratus 26 Maymegaseconds since the Unix epoch LangSec workshop Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:40:21 Computing Software engineering Computer programming Formal languages Syntax Functional programming Parser combinator Parsing Null Combinator library DNP3 Shifting
132	Functional Design using Behavioural and Structural Components Richard Sharp University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:00 Electronic engineering Digital electronics Electronic design automation Hardware description languages Electronics Logic synthesis Verilog High-level synthesis VHDL SystemC Adder Silicon compiler
133	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
134	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
135	The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2016-04-25 11:00:25 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Data types OCaml Generic programming Modular programming Module Set Coupling
136	Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Lambda calculus Subroutines Functional languages Literate programming Monad Let expression Glasgow Haskell Compiler Anonymous function
137	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:38 Software engineering Computer programming Computing Subroutines Functional languages Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope
138	List Functions, and Higher-Order Functions Björn Lisper Dept. of Computer Science and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-27 04:06:56 Software engineering Computer programming Declarative programming Functional programming Higher-order functions Programming language comparisons Functional languages Subroutines Map Fold Filter Append
139	Keyword and Optional Arguments in PLT Scheme Matthew Flatt Eli Barzilay University of Utah and PLT Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-28 05:09:28 Software engineering Computer programming Programming language theory Object-oriented programming languages Subroutines Functional languages Cross-platform software Lambda calculus Scheme Parameter Lisp Dylan
140	c Cambridge University Press 2010 JFP 20 (1): 3–18, 2010. � 3 doi:S0956796809990281 Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2013-06-14 09:02:56 Software engineering Computing Computer programming Source code Programming language implementation Functional languages Compiler construction Transformation languages Syntax Macro Programming language Compiler

UPDATE